using System;
using System.Collections.Generic;
namespace Microsoft.Data.Edm.Expressions
{
	/// <summary>
	/// Represents an EDM record construction expression.
	/// </summary>
	public interface IEdmRecordExpression : IEdmExpression, IEdmElement
	{
		/// <summary>
		/// Gets the declared type of the record, or null if there is no declared type.
		/// </summary>
		IEdmStructuredTypeReference DeclaredType
		{
			get;
		}
		/// <summary>
		/// Gets the constructed property values.
		/// </summary>
		IEnumerable<IEdmPropertyConstructor> Properties
		{
			get;
		}
	}
}